Module isotope::primitive::logical [−][src]
Expand description
Logical primitives
Structs
BOOL | The boolean type, with the default type |
BOOL_ANNOT | An annotation of the boolean type, with the default type |
Bool | An instance of the type of booleans |
Boolean | A Boolean term |
FALSE | The constant |
TRUE | The constant |